<HTML><HEAD>
<META NAME="legal" CONTENT="See notice at end of class.">
<META NAME="names" CONTENT="iterators, iteration">
<META NAME="description" CONTENT="Objects that are able to iterate over traversable structures, on which they can perform repeated actions and tests according to a number of predefined control structures such as ``if'', ``until'' and others.">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)">
<META NAME="copyright" CONTENT="Copyright (c) 1984-2006, Eiffel Software and others">
<META NAME="source" CONTENT="Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com">
<META NAME="library" CONTENT="EiffelBase: Library of reusable components for Eiffel.">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>iterator Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="iterator_links.html">Relations</A></TD><TD><A HREF="iterator_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>deferred</B> <B>class</B>
    <A HREF="../base/iterator_chart.html">ITERATOR</A> [G]

<B>General</B>
    cluster: elks
    description: 
        "Objects that are able to iterate over traversable structures,
        on which they can perform repeated actions and tests according
        to a number of predefined control structures such as ``if'',
        ``until'' and others."

<B>Ancestors</B>
    <A HREF="../base/any_chart.html">ANY</A>

<B>Queries</B>
    <A HREF="../base/iterator_flatshort.html#f_for_all">for_all</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/iterator_flatshort.html#f_invariant_value">invariant_value</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/iterator_flatshort.html#f_target">target</A>: <A HREF="../base/traversable_chart.html">TRAVERSABLE</A> [G]
    <A HREF="../base/iterator_flatshort.html#f_there_exists">there_exists</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>

<B>Commands</B>
    <A HREF="../base/iterator_flatshort.html#f_do_all">do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]])
    <A HREF="../base/iterator_flatshort.html#f_do_if">do_if</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])
    <A HREF="../base/iterator_flatshort.html#f_do_until">do_until</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])
    <A HREF="../base/iterator_flatshort.html#f_do_while">do_while</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])
    <A HREF="../base/iterator_flatshort.html#f_set">set</A> (s: [<B>like</B> <A HREF="../base/iterator_flatshort.html#f_target">target</A>] <A HREF="../base/traversable_chart.html">TRAVERSABLE</A> [G])
    <A HREF="../base/iterator_flatshort.html#f_until_do">until_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])
    <A HREF="../base/iterator_flatshort.html#f_while_do">while_do</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [G], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])

<B>Constraints</B>
    traversable exists

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="iterator_links.html">Relations</A></TD><TD><A HREF="iterator_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
